We go to a slightly less naive or drastic relaxation,

namely the delete relaxation, which actually

keeps the precondition but only abstracts from the deletes,

which is, again, not the real world.

This is not something I've ever experienced.

Some religions postulate that something like this happens.

But this is also something we could want to happen.

Never happens to me.

Also that you're 29 and 30 and 17 at the same time

also doesn't happen.

So it's a relaxation.

And the hope is that the relaxation works just enough

so that we could get good search guidance at the real world

level.

The thing to realize here, we discussed that last week,

is that this is a general heuristic.

You can do it in any planning situation.

We're not saying anything about the domain.

There may be better domain-dependent heuristics.

But something like the delete relaxation heuristic

is something you can bake into your system

and then use it everywhere, which

is why it's so attractive.

And the idea is that we need a heuristic that's

easy to compute but has enough information so that it guides

the real world search.

Sufficiently.

And we addressed the easy to compute thing,

which is really creating spanning trees for which we

have good algorithms, which are just basically level

saturation algorithms, which means that the delete

relaxation planning is actually easy to do, easy enough.

You're actually doing that in every step of the plan search

process.

It's cheap enough to do to be something like a heuristic.

And here's the algorithm.

So we looked at a couple of examples

that this is exactly the right thing.

And we proved that it actually does

what it's supposed to do.

So this is actually a way in which you are going

to be producing a file to feed on.

And this is an idiliner.

Once you're

goes into the

window of the window that you occupies

it's going to capture most of the energy

that if one of these modules has to go into another file

and you don't already have to alt- Civil

or you can also in some cases